Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
361	Inferring Continuous Dynamic Social Influence and Personal Preference for Temporal Behavior Prediction∗ Jun Zhang1,2,3,4 1 Chaokun Wang2,3,4 Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-10-10 16:41:06 Control theory Collective intelligence Mathematical model Mathematical modeling Markov chain Dynamical system Logarithm Discretization Linear temporal logic Mathematics Applied mathematics Markov models
362	1 Chapter 6 Testing 1. Neyman Pearson Tests 2. Unbiased Tests; Conditional Tests; Permutation Tests Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2015-04-08 14:52:07 Econometrics Market research Measurement Psephology Fisher information Symbol Linear temporal logic Statistics Biostatistics Confidence interval
363	Partitioning 0-CFA for the GPU Thomas Gilray, James King, Matthew Might University of Utah {tgilray, jsking2, might}@cs.utah.edu Abstract. We generalize EigenCFA, a linear formulation of 0-CFA, to Add to Reading List Source URL: matt.might.net Language: English - Date: 2015-01-20 15:49:39 Mathematics Dual Logic Metalogic Model theory Structure
364	Verifying Two Lines of C with Why3: an Exercise in Program Verification? Jean-Christophe Filliˆatre CNRS LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2011-11-16 09:42:27 Program logic Linear differential equation Formal methods Ordinary differential equations Predicate transformer semantics
365	image: Scott Greenwald © 2011 Linear-time Asynchronous Logic Automata (ALA) matrix multiplication. Add to Reading List Source URL: cba.mit.edu - Date: 2011-12-13 18:31:43
366	On the Expressive Power of Cost Logics over Infinite Words? Denis Kuperberg1 , Michael Vanden Boom2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Formal languages Logic Muller automaton Linear temporal logic Partition FO Alphabet First-order logic Star height Mathematics Automata theory Theoretical computer science
367	Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap ∗ Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-06-16 14:32:05 Science Computer algebra Algorithm Mathematical logic Theoretical computer science Computational geometry Numerical analysis Symbolic computation Numerical linear algebra Mathematics Computational science Applied mathematics
368	Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap Courant Institute of Mathematical Sciences New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2009-07-27 23:31:09 Computational complexity theory Computational science Algorithm Mathematical logic Linear programming Analysis of algorithms PP Numerical analysis Theoretical computer science Applied mathematics Mathematics
369	A Provenance Framework for Data-Dependent Process Analysis Daniel Deutch Tel Aviv University Yuval Moskovitch Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-01-06 10:12:54 Data management Semiring Linear temporal logic Relational algebra Provenance Expressed sequence tag Tropical geometry NIP K Algebraic structures Algebra Mathematics
370	GeoScope: Online Detection of Geo-Correlated Information Trends in Social Networks Ceren Budak Theodore Georgiou Divyakant Agrawal Amr El Abbadi [removed] {teogeorgiou, agrawal, amr}@cs.ucsb.edu Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-11-07 15:10:21 Buckminster Fuller Geoscope Twitter Estimation theory Propositional calculus Hashtag Linear regression Entailment Logic Information World Wide Web

UPDATE